Default Reasoning about Actions via Abstract Argumentation

نویسندگان

  • Ringo Baumann
  • Hannes Strass
چکیده

Reasoning about actions is a subfield of artificial intelligence that is concerned with representing and reasoning about dynamic domains. We propose to employ abstract argumentation for this purpose. Specifically, we present a translation of action domains from a specification language into Dung-style argumentation frameworks (AFs). As the key advantage of our approach, we use existing semantics for argumentation to make predictions about the domain in various manners and utilise existing results about argumentation to show that the approach can be efficiently implemented. This demonstrates the practical value not only of its theoretical results, but also abstract argumentation itself.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Plausibility Semantics for Abstract Argumentation Frameworks

We propose and investigate a simple plausibility-based extension semantics for abstract argumentation frameworks based on generic instantiations by default knowledge bases and the ranking construction paradigm for default reasoning.

متن کامل

On the theory of argumentation frameworks

argumentation has been developed in a theoretical way, in noteworthy works such as [Tou58], [Fel84], [Dun95], [KT96], [BDKT97], [KMD94], [Pol94], [Vre97], [PS96a], [PS97], and [Ver96]. Argumentation-theoretic interpretations and proof-procedures are applicable in practical reasoning, legal reasoning ([KT96], [PS95]), mediation systems ([GK96], [BG94]), decision-making systems ([KPG96]), and are...

متن کامل

A Unified Argumentation-Based Framework for Knowledge Qualification

Among the issues faced by an intelligent agent, central is that of reconciling the, often contradictory, pieces of knowledge — be those given, learned, or sensed — at its disposal. This problem, known as knowledge qualification, requires that pieces of knowledge deemed reliable in some context be given preference over the others. These preferences are typically viewed as encodings of reasoning ...

متن کامل

Assumption-Based Argumentation

Assumption-Based Argumentation (ABA) [4, 3, 27, 9, 12, 20, 22] was developed, starting in the 90s, as a computational framework to reconcile and generalise most existing approaches to default reasoning [24, 25, 4, 3, 27, 26]. ABA was inspired by Dung’s preferred extension semantics for logic programming [10, 7], with its dialectical interpretation of the acceptability of negation-as-failure ass...

متن کامل

Defaults, Defeasibility, and Argumentation Description

This seminar will be organized around a loosely related collection of readings on defaults, defeasibility, and argumentation that I think are, or should be, of real importance for certain areas of philosophy, but whose bearing on the subject has not been explored in detail. Just to establish the philosophical relevance of this kind of work, we will begin by (A) reading quickly through my recent...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012